Agent-Oriented Formal Specification of Web Services
نویسندگان
چکیده
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous and social behaviours. The paper investigates the formal specification of WS architecture and applications within a caste-centric framework of multi-agent systems. An abstract specification of the general architecture of WS and an example of WS application are given in the SLABS language, which was designed for developing agent-based systems.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملModel-checking Web Services Orchestrations using BP-calculus
The Business Process Execution Language for Web Services (BPEL) is the standard for implementing orchestrated business processes designed but not limited to, as web services. BPEL is a powerful language but lacks a widely accepted formal semantics, and this makes it difficult to formally validate the correct execution of BPEL implementations. In the other hand, process algebras have proved thei...
متن کاملA three-level specification approach for an environment of software agents and Web services
This paper presents an approach for the specification of a software agent-based and Web service-oriented environment. A software agent is an autonomous entity that acts on user_s behalf. Whereas a Web service is an accessible application that other applications and humans can discover and trigger. Users in collaboration with their agents compose Web services into high-level business processes d...
متن کاملAn Integrated Methodology for Creating Composed Web / Grid Services - Technical Report
This thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to enable the orchestration of web services, but there have also been investigation of its use for grid services. BPEL s...
متن کامل